Nuprl Definition : es-sends
11,40
postcript
pdf
es-sends(
es
;
l
;
e
)
== sends(es-eq(
es
); idlnk-deq; es-pred?(
es
); es_info(
es
); es_val(
es
); (es-oaxioms(
es
).1);
e
;
l
== sends(
)
latex
Definitions
sends(
dE
;
dL
;
pred?
;
info
;
val
;
p
;
e
;
l
)
,
es-eq(
es
)
,
idlnk-deq
,
es-pred?(
es
)
,
es_info(
es
)
,
es_val(
es
)
,
t
.1
,
es-oaxioms(
es
)
FDL editor aliases
es-sends
origin